1. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
2. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
رده :
QA9
.
A5
B489
2000
3. New essays on Tarski and philosophy
پدیدآورنده : edited by Douglas Patterson
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Tarski, Alfred,Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA8
.
4
.
N49
2008
4. New essays on Tarski and philosophy
پدیدآورنده : edited by Douglas Patterson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Tarski, Alfred,، Mathematics -- Philosophy,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
N493
5. New essays on Tarski and philosophy
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Tarski, Alfred. ; Mathematics ; Philosophy. ; Logic, Symbolic and mathematical ; Philosophy. ;
6. Proceedings
پدیدآورنده : Tarski Symposium, 1791, University of California, Berkeley
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematics-- Addresses, essays, lectures,، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Tarski, Alfred-- Bibliography
رده :
QA
7
.
T34
1971
7. Proceedings of the Tarski Symposium : an International Symposium, held to Honor Alfered Tarski on the occasion of his seventieth birthday
پدیدآورنده : edited by Leon Henkin ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresseys, essays, lectures ، Mathematics,Bibliography ، Tarski, Alfred,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
1
.
P7
Vol
.
25
8. <The> theory of models
پدیدآورنده : / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
رده :
BC135
،.
I5
1965
9. The theory of models
پدیدآورنده : edited by J.W. Addison, Leon Henkin, Alfred Tarski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
10. The theory of models; proceedings
پدیدآورنده : Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963
